/* hal_sct.h */
#ifndef __HAL_SCT_H__
#define __HAL_SCT_H__

#include "fsl_common.h"

uint32_t SCT_GetEventFlags(SCT_Type *base);
void SCT_ClearEventFlags(SCT_Type *base, uint32_t eventMask);

#endif /* __HAL_SCT_H__ */

